Hans Kleine Büning: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (17)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Modellierung

Modellierung

Carl Hanser Verlag GmbH & CO. KG

Kastens Uwe, Kleine Büning Hans

సంవత్సరం:

2005

భాష:

german

ఫైల్:

PDF, 2.89 MB

0 / 0

german, 2005

2

A Survey of Recent Advances in SAT-Based Formal Verification

A Survey of Recent Advances in SAT-Based Formal Verification

Hans Kleine Büning, Theodor Lettmann

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 181 KB

0 / 0

english, 1999

3

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

సంవత్సరం:

1994

భాష:

german

ఫైల్:

PDF, 18.59 MB

0 / 0

german, 1994

4

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

సంవత్సరం:

1994

భాష:

german

ఫైల్:

DJVU, 3.57 MB

0 / 0

german, 1994

5

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

సంవత్సరం:

1996

భాష:

english

ఫైల్:

PDF, 11.88 MB

0 / 0

english, 1996

6

Modellierung

Modellierung

Pearson Studium

Kastens Uwe, Kleine Büning Hans

సంవత్సరం:

2005

భాష:

german

ఫైల్:

PDF, 2.52 MB

0 / 0

german, 2005

7

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Büning, Xishun Zhao

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 3.45 MB

0 / 0

english, 2008

8

PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

Schmitgen, Stefan, Kleine Büning, Hans

సంవత్సరం:

1988

భాష:

german

ఫైల్:

DJVU, 2.21 MB

0 / 0

german, 1988

9

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

సంవత్సరం:

1996

భాష:

english

ఫైల్:

DJVU, 4.15 MB

0 / 0

english, 1996

10

Prolog: Grundlagen und Anwendungen

Prolog: Grundlagen und Anwendungen

Vieweg+Teubner Verlag

Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)

సంవత్సరం:

1988

భాష:

german

ఫైల్:

PDF, 6.35 MB

0 / 0

german, 1988

11

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 3.58 MB

0 / 0

english, 2008

12

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

సంవత్సరం:

1991

భాష:

english

ఫైల్:

DJVU, 3.67 MB

0 / 0

english, 1991

13

Prolog: Grundlagen und Anwendungen

Prolog: Grundlagen und Anwendungen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)

సంవత్సరం:

1986

భాష:

german

ఫైల్:

PDF, 7.73 MB

0 / 0

german, 1986

14

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

సంవత్సరం:

1988

భాష:

english

ఫైల్:

DJVU, 3.20 MB

0 / 0

english, 1988

15

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

సంవత్సరం:

1990

భాష:

english

ఫైల్:

DJVU, 4.21 MB

0 / 0

english, 1990

16

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

సంవత్సరం:

1989

భాష:

english

ఫైల్:

DJVU, 2.87 MB

0 / 0

english, 1989

17

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

సంవత్సరం:

1992

భాష:

english

ఫైల్:

DJVU, 3.80 MB

0 / 0

english, 1992